Formal systems

Results: 1365



#Item
31

Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Index More information

Add to Reading List

Source URL: assets.cambridge.org

- Date: 2008-10-20 04:00:11
    32

    Call for Papers 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS’16) Qu´ ebec City, Qu´

    Add to Reading List

    Source URL: formats16.lsv.fr

    - Date: 2016-02-27 04:41:05
      33

      A Formal Model of Provenance in Distributed Systems Issam Souilah University of Southampton, UK Adrian Francalanza University of Malta, Malta

      Add to Reading List

      Source URL: staff.um.edu.mt

      - Date: 2009-02-04 08:44:02
        34

        Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems ? Carolyn Talcott1 , Vivek Nigam2 , Farhad Arbab3 , and Tobias Kapp´e4 1 SRI International, Menlo Park, CA 94025, USA

        Add to Reading List

        Source URL: nigam.info

        - Date: 2016-05-07 12:12:43
          35

          Perturbation & adaptation models for timed systems Abstract The main objective of this PhD is to consider perturbations in tied models, formal modeling of perturbation correction techniques, and the robustness of timed

          Add to Reading List

          Source URL: www.irisa.fr

          - Date: 2016-09-22 09:43:28
            36

            Parallel Model Checking of ω-Automata Vincent Bloemen Formal Methods and Tools, University of Twente Abstract. Specifications for non-terminating reactive systems are described by ω-regular proper

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2016-10-03 06:41:06
              37

              Isabelle/Isar — a versatile environment for human-readable formal proof documents Markus M. Wenzel Lehrstuhl f¨ur Software & Systems Engineering Institut f¨

              Add to Reading List

              Source URL: mediatum.ub.tum.de

                38

                Identifying and Validating Ontology Mappings by Formal Concept Analysis Mengyi Zhao1 and Songmao Zhang2 1,2 Institute of Mathematics, Academy of Mathematics and Systems Science,

                Add to Reading List

                Source URL: disi.unitn.it

                - Date: 2016-09-05 09:56:52
                  39

                  Formal Reasoning about Software Systems Mooly SagivTel Aviv University

                  Add to Reading List

                  Source URL: www.cs.tau.ac.il

                  - Date: 2016-03-01 06:07:27
                    40

                    Formal Verification of Stability Properties of Cyber-physical Systems Matthew Chan, Daniel Ricketts, Sorin Lerner, Gregory Malecha University of California, San Diego , ,

                    Add to Reading List

                    Source URL: ucsd-pl.github.io

                    - Date: 2016-10-03 11:54:14
                      UPDATE